:: Integer -> Double -package:termonad package:foundation